Willemse, Tim : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (20)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11687 (24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings) ||

Larsen, Kim Guldstrand, Willemse, Tim

Année:

2019

Langue:

english

Fichier:

PDF, 10.09 MB

english, 2019

2

Parameterised boolean equation systems

Jan Friso Groote, Tim A.C. Willemse

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 292 KB

english, 2005

3

Branching bisimulation for probabilistic systems: Characteristics and decidability

Suzana Andova, Tim A.C. Willemse

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 455 KB

english, 2006

4

Invariants for Parameterised Boolean Equation Systems

Simona Orzan, Tim A.C. Willemse

Journal:

Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 1.65 MB

english, 2010

5

Search algorithms for automated validation

Tom A.N. Engels, Jan Friso Groote, Muck J. van Weerdenburg, Tim A.C. Willemse

Journal:

The Journal of Logic and Algebraic Programming

Année:

2009

Langue:

english

Fichier:

PDF, 336 KB

english, 2009

6

Using model checking to analyze the system behavior of the LHC production grid

Remenska, Daniela, Willemse, Tim A.C., Verstoep, Kees, Templon, Jeff, Bal, Henri

Journal:

Future Generation Computer Systems

Année:

2013

Langue:

english

Fichier:

PDF, 2.91 MB

english, 2013

7

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Yi Ling, Keiren, Jeroen J.A., Kusters, Vincent J.J., Leemans, Sander, Willemse, Tim A.C.

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 463 KB

english, 2013

8

[IEEE 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) - Ottawa, Canada (2012.05.13-2012.05.16)] 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) - Using Model Checking to Analyze the System Behavior of the LHC Production Grid

Remenska, Daniela, Willemse, Tim A.C., Verstoep, Kees, Fokkink, Wan, Templon, Jeff, Bal, Henri

Année:

2012

Langue:

english

Fichier:

PDF, 926 KB

english, 2012

9

Synchrony and asynchrony in conformance testing

Noroozi, Neda, Khosravi, Ramtin, Mousavi, Mohammad Reza, Willemse, Tim A. C.

Journal:

Software & Systems Modeling

Année:

2015

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2015

10

Structural Analysis of Boolean Equation Systems

Keiren, Jeroen J. A., Reniers, Michel A., Willemse, Tim A. C.

Journal:

ACM Transactions on Computational Logic

Année:

2012

Langue:

english

Fichier:

PDF, 276 KB

english, 2012

11

Abstraction in Fixpoint Logic

Cranen, Sjoerd, Gazda, Maciej, Wesselink, Wieger, Willemse, Tim A. C.

Journal:

ACM Transactions on Computational Logic

Année:

2015

Langue:

english

Fichier:

PDF, 708 KB

english, 2015

12

An Analysis of the Control Hierarchy Modelling of the CMS Detector Control System

Hwong, Yi Ling, Willemse, Tim, Kusters, Vincent, Bauer, Gerry, Beccati, Barbara, Behrens, Ulf, Biery, Kurt, Bouffet, Olivier, Branson, James, Bukowiec, Sebastian, Cano, Eric, Cheung, Harry, Ciganek, M

Journal:

Journal of Physics Conference Series

Année:

2011

Langue:

english

Fichier:

PDF, 486 KB

english, 2011

13

Analysis of DIRAC's behavior using model checking with process algebra

Remenska, Daniela, Templon, Jeff, Willemse, Tim, Bal, Henri, Verstoep, Kees, Fokkink, Wan, Charpentier, Philippe, Diaz, Ricardo Graciani, Lanciotti, Elisa, Roiser, Stefan, Ciba, Krzysztof

Journal:

Journal of Physics Conference Series

Année:

2012

Langue:

english

Fichier:

PDF, 3.35 MB

english, 2012

14

Parity game reductions

Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Journal:

Acta Informatica

Année:

2017

Langue:

english

Fichier:

PDF, 1007 KB

english, 2017

15

[ACM Press the 23nd ACM - Indianapolis, Indiana, USA (2018.06.13-2018.06.15)] Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies - SACMAT '18 - Efficient Extended ABAC Evaluation

Morisset, Charles, Willemse, Tim A. C., Zannone, Nicola

Année:

2018

Langue:

english

Fichier:

PDF, 1.42 MB

english, 2018

16

Beyond Self-Report: A Review of Physiological and Neuroscientific Methods to Investigate Consumer Behavior

Bell, Lynne, Vogt, Julia, Willemse, Cesco, Routledge, Tim, Butler, Laurie T., Sakaki, Michiko

Journal:

Frontiers in Psychology

Année:

2018

Langue:

english

Fichier:

PDF, 452 KB

english, 2018

17

[ACM Press the 21st International Systems and Software Product Line Conference - Volume B - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume B on ZZZ - SPLC '17 - Family-Based Model Checking of SPL based on mCRL2

Ben Snaiba, Ziad, de Vink, Erik P., Willemse, Tim A.C.

Année:

2017

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2017

18

A framework for the extended evaluation of ABAC policies

Morisset, Charles, Willemse, Tim A. C., Zannone, Nicola

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2019

19

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, Thomas, Willemse, Tim A.C., Groote, Jan Friso

Journal:

Science of Computer Programming

Année:

2020

Langue:

english

Fichier:

PDF, 811 KB

english, 2020

20

Off-the-shelf automated analysis of liveness properties for just paths

Bouwman, Mark, Luttik, Bas, Willemse, Tim

Journal:

Acta Informatica

Année:

2020

Fichier:

PDF, 717 KB

2020